Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers: 8164 (Lecture Notes in Computer Science)
by Ernie Cohen,Andrey Rybalchenko
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers: 8164 (Lecture Notes in Computer Science)
by Ernie Cohen,Andrey Rybalchenko
ISBN 13: 9783642541070
Format: Paperback
(364 pages)
Publisher: Springer
Published: 23 Jan 2014
Save for later
New : $52.32
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
